Binary logic - PDFSEARCH.IO - Document Search Engine

Binary logic
Results: 377

#	Item
331	A Non-splitting Theorem in the Enumeration degrees Mariya Ivanova Soskova University of Leeds, Leeds, LS2 9JT [removed] Add to Reading List Source URL: www.fmi.uni-sofia.bg Language: English - Date: 2008-02-28 12:52:56 Binary operations Deduction Enumeration Mathematical logic Sheaf Entailment Exponentiation Logic Abstract algebra Mathematics
332	Techniques for Yield Enhancement of VLSI Adders 1 Zhan Chen and Israel Koren Department of Electrical and Computer Engineering University of Massachusetts, Amherst, MA 01003, USA Add to Reading List Source URL: euler.ecs.umass.edu Language: English - Date: 2013-07-15 15:45:03 Physics Computer arithmetic Binary logic Carry-select adder Carry-lookahead adder Very-large-scale integration Yield Adders Mechanics Electronic engineering
333	A Yield Study of VLSI Adders 1 Zhan Chen and Israel Koren Department of Electrical and Computer Engineering University of Massachusetts, Amherst, MA 01003, USA Add to Reading List Source URL: euler.ecs.umass.edu Language: English - Date: 2013-07-15 15:48:23 Electronics Computer arithmetic Binary logic Digital circuits Carry-lookahead adder Integrated circuit Addition Yield Very-large-scale integration Adders Electronic engineering Arithmetic
334	THE EFFICIENT SYMBOLIC TOOLS PACKAGE Robert Meolic, Tatjana Kapus, Zmago Brezoˇcnik Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ul. 17, SI-2000 Maribor, Slovenia E-mail: fmeoli Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2000-08-29 08:41:20 Systems engineering Theoretical computer science Diagrams Formal methods Binary decision diagram Model checking Formal verification Boolean function Verification Boolean algebra Mathematics Mathematical logic
335	Inductive-inductive Definitions Fredrik Nordvall Forsberg⋆ and Anton Setzer⋆ Swansea University {csfnf, a.g.setzer}@swansea.ac.uk Abstract. We present a principle for introducing new types in type Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2010-09-29 18:22:59 Deduction Binary operations Entailment Logical consequence Metalogic Mathematical induction Function Generic programming Inductive reasoning Logic Mathematics Proof theory
336	1-Bit Adder (Half Adder) Simplest case - when two one bit numbers are to be added. With one bit - only the numbers 0 and 1 can be represented. Add to Reading List Source URL: www-rohan.sdsu.edu Language: English - Date: 2003-02-26 16:09:04 Mathematics Computer architecture Binary arithmetic Binary logic Elementary arithmetic Carry-select adder Carry-lookahead adder Adders Arithmetic Computer arithmetic
337	Combinational Equivalence Checking Using Satisfiability and Recursive Learning João Marques-Silva Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 13:36:52 Boolean algebra Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean satisfiability problem Conjunctive normal form Binary decision diagram Formal equivalence checking Theoretical computer science Mathematics Applied mathematics
338	Microsoft PowerPoint - ece5440_LFSR_Counters.ppt [Compatibility Mode] Add to Reading List Source URL: www0.egr.uh.edu Language: English - Date: 2010-03-16 18:57:23 Pseudorandom number generators Electronics Boolean algebra Propositional calculus Binary arithmetic Linear feedback shift register Counter Flip-flop Logical equality Logic gates Electronic engineering Mathematics
339	THE LOGIC OF PARTITIONS: INTRODUCTION TO THE DUAL OF THE LOGIC OF SUBSETS Add to Reading List Source URL: www.ellerman.org Language: English - Date: 2010-06-28 17:38:45 Equivalence relation Partition of a set Sheaf Image Topos Binary relation Function Model theory Vector bundle Mathematics Algebraic topology Combinatorics
340	Chapter 8: The Logic of Conditionals § 8.1 Informal methods of proof Conditional elimination Add to Reading List Source URL: faculty.washington.edu Language: English - Date: 2004-06-01 21:31:14 Deduction Binary operations Entailment Conditional proof Modus ponens Logical biconditional Contraposition Soundness If and only if Logic Logical consequence Propositional calculus

UPDATE